From DEL to EDL : Exploring the Power of Converse Events

نویسندگان

  • Guillaume Aucher
  • Andreas Herzig
چکیده

Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called epistemic action models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily introduce converse events. We add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that DEL can be translated into EDL thanks to this use of the converse operator: this device enables us to translate the structure of the action (or event) model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic action (event) model in the language (as done in DEL). It follows that EDL is more expressive and general than DEL.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Exploring the power of converse events

Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (BMS) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, BMS adds dynamics to epistemic logic by introducing so-called event models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily intro...

متن کامل

Exploring Dialogism and Multivocality in L2 Classroom-Discourse Architecture in Iran

Critical pedagogy (CP), as a poststructuralist educational movement, challenges the asymmetrical, power-over nature of classroom discourse and seeks to accommodate multivocality in the classroom and in the society. This study probed the discourse architecture of EFL classrooms in Iran. Specifically, it aimed to explore to what extent Iranian EFL classrooms have stepped away from the teacher-dom...

متن کامل

Good, bad and ugly: Exploring the Machiavellian power dynamics of leadership in medical education

Introduction: Medical education requires participation of variousstakeholders and this contributes to power dynamics operating atmultiple levels. Personality traits of an individual can affect thesmooth execution of the educational programmes and eventuallythe professionalism of the environment. With the increased focuson leadership traits in medical education and collaboration inhealth care se...

متن کامل

Exploring the relationship between land use and surface water quality using multivariate statistics in arid and semi-arid regions

The relative impacts of different types of land use on the surface water quality are yet to be ascertained and quantified. In this paper, the influence of different types of land use on surface water quality is investigated. Rain events samples from different land use in the central plateau, Iran, were analyzed for major ions. Statistical analyses were employed to examine the statistical relati...

متن کامل

Evaluating the potential of cascading failure occurrence due to line outage in power systems by information theory method and radial base functions

In power systems, a connected topology is created to increase reliability and economic performance. Increasing dimensions of power systems on the one hand and the need to continuously monitor power systems for secure operation on the other challenge the evaluation of power system security. In such conditions, due to economic conditions and considering the fast growth of consumers in a power sys...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007